Équations inf-convolutives et conjugaison de Moreau-Fenchel

Centre, Commutativité Et Conjugaison Dans Un Graphe De Groupe

We give characterizations of the center, of conjugated and of commuting elements in a fundamental group of a graph of group. We deduce various results : on the one hand we give a sufficient condition for the center, the centralizers, and the root structures in such a group to be in some sense trivial, and on the other hand we prove that for any group G, the conjugacy problem reduces to the same...

Réécriture de programmes C--en équations logiques

RÉSUMÉ. Cet article présente un système pour transformer, de façon automatique, des programmes écrits en C--, un langage impératif simple, en un ensemble d’équations du premier ordre. Cet ensemble d’équations utilisé pour représenter un programme C-a une signification mathématique précise et les techniques standards de mécanisation du raisonnement équationnel peuvent être déployées pour vérifie...

Parametric Computation of the Legendre-fenchel Conjugate with Application to the Computation of the Moreau Envelope

A new algorithm, named the Parametric Legendre Transform (PLT) algorithm, to compute the Legendre-Fenchel conjugate of a convex function of one variable is presented. It returns a parameterization of the graph of the conjugate except for some affine parts corresponding to nondifferentiable points of the function. The approach is extended to the computation of the Moreau envelope, resulting in a...

Etude preliminaire de l'association de vaccins antiaphteux et antibrucellique

Description de Hyalomma dromedarii (Koch 1844) Morphologie de la larve et de la nymphe